Skip to content

Conversation

@xuwei-k
Copy link
Contributor

@xuwei-k xuwei-k commented Dec 14, 2025

No description provided.

@xuwei-k xuwei-k requested a review from a team as a code owner December 14, 2025 10:56
Copy link
Contributor

@Gedochao Gedochao left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@Gedochao Gedochao requested a review from hamzaremmal December 15, 2025 11:06
@Gedochao Gedochao added the backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. label Dec 15, 2025
@Gedochao Gedochao added this to the 3.8.0 milestone Dec 15, 2025
@hamzaremmal hamzaremmal merged commit c08fee4 into scala:main Dec 15, 2025
46 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants